Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method1 III. Mechanical Formula Derivation
نویسندگان
چکیده
In this paper, methods of mechanical deriving of formulas from a set of differential polynomial equations and a set of differential polynomial inequations are presented. The methods have been used successfully to many problems in space curve theory and mechanics. In particular, a mechanical derivation of Newton’s gravitational law from Kepler’s laws has been given without knowing Newton’s laws in advance. We also give a partial method to derive algebraic relations from a set of differential polynomial equations.
منابع مشابه
Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method1 Part II. Mechanical Theorem Proving
We clarify the formulation problem of mechanical theorem proving in differential geometry and mechanics and propose two formulations. We present complete methods of mechanical theorem proving for the two formulations. We also introduce predicates and a language to translate geometry statements into differential polynomial equations. A program based on our methods has proved more than 100 nontri...
متن کاملAutomated Reasoning in Differential Geometry and Mechanics Using Characteristic Method
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu’s method of mechanical theorem proving for differential geometry. A complete list of results about Bertrand curves in metric and affine spaces is derived mechanically. The list includes most of the known results of various Bertrand curves. We also derive some new...
متن کاملVibration Analysis of Functionally Graded Spinning Cylindrical Shells Using Higher Order Shear Deformation Theory
In this paper the vibration of a spinning cylindrical shell made of functional graded material is investigated. After a brief introduction of FG materials, by employing higher order theory for shell deformation, constitutive relationships are derived. Next, governing differential equation of spinning cylindrical shell is obtained through utilizing energy method and Hamilton’s principle. Making ...
متن کاملElastic Behavior of Functionally Graded Two Tangled Circles Chamber
This paper presents the numerical elastic solution for a real problem, functionally graded chamber of hydraulic gear pumps under internal pressure. Because of the similarity and complexity for the considering geometry, a bipolar cylindrical coordinate system is used to extract the governing equations. The material properties are considered to vary along the two tangled circles with a power-law ...
متن کاملAn Investigation into Resonant Frequency of Triangular V-Shaped Cantilever Piezoelectric Vibration Energy Harvester
Power supply is a bottle-neck problem of wireless micro-sensors, especially where the replacement of batteries is impossible or inconvenient. Now piezoelectric material is being used to harvest vibration energy for self-powered sensors. However, the geometry of a piezoelectric cantilever beam will greatly affect its vibration energy harvesting ability. This paper deduces a remarkably precise an...
متن کامل